es{-}state{-}when{-}without(${\it es}$;$e$;$x$)($y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $y$ = $x$$\rightarrow$ $\cdot$ else es{-}when(${\it es}$; $y$; $e$) fi